Towards a notion of testability
نویسندگان
چکیده
منابع مشابه
Towards a Notion of Quantitative Security Analysis
The traditional Dolev-Yao model of security limits attacks to “computationally feasible” operations. We depart from this model by assigning a cost to protocol actions, both of the Dolev-Yao kind as well as non traditional forms such as computationally-hard operations, guessing, principal subversion, and failure. This quantitative approach enables evaluating protocol resilience to various forms ...
متن کاملTowards a Notion of Agent Coordination Context
On the one hand, recent studies on the history of human societies suggest that the role of the environment has to be taken explicitly into account in order to understand evolution of individuals and groups in any non-trivial setting. On the other hand, the notion of context is well-known and relevant to several research areas such as natural language, philosophy, logic, and artificial intellige...
متن کاملA NEW NOTION OF FUZZY PS-COMPACTNESS
In this paper, using pre-semi-open L-sets and their inequality, a new notion of PS-compactness is introduced in L-topological spaces, where L is a complete De Morgan algebra. This notion does not depend on the structure of the basis lattice L and L does not need any distributivity.
متن کاملa tripartite model of efl teachers attributions, burnout, and self-regulation: towards the prospects of effective teaching
همطالعه حاضر به ارائه مدلی برای آموزش موثر زبان انگلیسی می پردازد. مدل حاضر از سه عامل تاثیر گذار در کارایی تدریس معلمان زبان انگلیسی بهره می برد. این سه عامل شامل سبکهای اسنادی، خود تنطیمی و فرسودگی شغلی معلمان ایرانی زبان انگلیسی می باشد. رساله مورد نظر درچهار فاز طراحی شده است: فاز اول شامل طراحی و رواسازی پرسشنامه سبکهای اسنادی معلمان زبان انگلیسی و فاز دوم شامل استفاده از این پرسشنا...
Towards an Adequate Notion of Observation
One can attempt to solve the problem of establishing the correctness of some software w.r.t. a formal speciication at the semantical level. For this purpose, the semantics of an algebraic speciication should be the class of all algebras which correspond to the correct realizations of the speciication. We approach this goal by deening an observational satisfaction relation which is less restrict...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applications of Mathematics
سال: 1992
ISSN: 0862-7940,1572-9109
DOI: 10.21136/am.1992.104507